Elizabeth Latronico Philip Koopman Representing Embedded System Sequence Diagrams as a Formal Language. 302-316 2001 conf/uml/2001 UML http://link.springer.de/link/service/series/0558/bibs/2185/21850302.htm db/conf/uml/uml2001.html#LatronicoK01