Safetycritical medical device development using the UPP2SF model translation tool (2014)

by M Pajic, Z Jiang, I Lee, O Sokolsky, R Mangharam
Venue:ACM Trans. Embed. Comput. Syst