1. RajanA.Coverage metrics for requirements‐based testing.Ph.D. Thesis University of Minnesota 2009.
2. Principles and methods of testing finite state machines-a survey
3. MathWorks.Simulink 2020.https://uk.mathworks.com/products/simulink.html(visited on 19/05/2020).
4. IBM.Rational Rhapsody 2020.https://www.ibm.com/products/systems-design-rhapsody(visited on 19/05/2020).
5. Sparx Systems.Enterprise Architect 2020.http://www.sparxsystems.com/(visited on 19/05/2020).