An integrated approach to modeling and analysis of embedded real-time systems based on Timed Petri Nets | IEEE Conference Publication | IEEE Xplore