Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam. Safety-critical medical device development using the UPP2SF model translation tool. ACM Trans. Embedded Comput. Syst., 13(4s), 2014. [doi]
@article{PajicJLSM14, title = {Safety-critical medical device development using the UPP2SF model translation tool}, author = {Miroslav Pajic and Zhihao Jiang and Insup Lee and Oleg Sokolsky and Rahul Mangharam}, year = {2014}, doi = {10.1145/2584651}, url = {http://doi.acm.org/10.1145/2584651}, researchr = {https://researchr.org/publication/PajicJLSM14}, cites = {0}, citedby = {0}, journal = {ACM Trans. Embedded Comput. Syst.}, volume = {13}, number = {4s}, }