Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Dev

Security Modeling and Analysis of Mobile Agent Systems by Jeffrey J P Tsai: Used

Modeling and Analysis of Dynamic Systems - Hardcover, by Close Charles M. - Good

Embedded Software Timing by Peter Gliwa.

Modeling and Analysis of Dependable Systems by Portinale Luigi: Used

Modeling and Analysis of Dynamic Systems by Charles M Close: Used

Modeling and Analysis of Manufacturing Systems by Ronald G Askin: Used