Modeling and Verification of Real-time Systems: Formalisms and Software Tools by

Modeling and Verification of Real-Time Systems: Formalisms and Software Tools

Modeling and Verification of Real-time Systems: Formalisms and Software Tools by

Systems and Software Verification: Model-Checking Techniques and Tools by B. Ber

Software Tools for the Simulation of Electrical Systems: Theory and Practice by

Embedded Systems: Analysis and Modeling with SysML, UML and AADL by Fabrice Kord