A TPN Based Framework for the Specification of Real Time Embedded Systems | IEEE Conference Publication | IEEE Xplore