Mobile Nav

5.4.3 Usability of formal verification on EFFBD models: Applying Petri nets to Systems Engineering issues