Mobile Nav

4.5.2 Model-based automatic generation and selection of safe architectures