Mobile Nav

Modeling system modes, states, configurations with Arcadia and Capella: method and tool perspectives