Francesca Saglietti. Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets. In Wolfgang D. Ehrenberger, editor, Computer Safety, Reliability and Security, 17th International Conference, SAFECOMP 98, Heidelberg, Germany, October 5-7, 1998, Proceedings. Volume 1516 of Lecture Notes in Computer Science, pages 319-328, Springer, 1998. [doi]
Abstract is missing.