1. Quo vadis SLD: reasoning about trends and challenges of system-level design;Sangiovanni-Vincentelli;Proc. IEEE,2007
2. OMG, UML 2.0 Superstructure Specification, Technical Report, Object Management Group (OMG), August 2005.
3. The embedded systems design challenge;Henzinger,2006
4. Is a unified methodology for system-level design possible?;Sangiovanni-Vincentelli;IEEE Des. Test,2008
5. A Practical Guide to SysML: Systems Modeling Language;Friedenthal,2008