Media type: E-Article Title: Computer Safety, Reliability and Security: Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets Contributor: Saglietti, Francesca Published: Springer Berlin Heidelberg, 1998 Published in: Computer Safety, Reliability and Security (1998), Seite 319-328 Language: Not determined DOI: 10.1007/3-540-49646-7_25 ISSN: 0302-9743 Origination: Footnote: