Mobile Nav

5.5.1 A SysML-based Approach for the Specification of Complex Systems