Ana Cavalcanti, Frank Zeyda, Andy J. Wellings, Jim Woodcock, Kun Wei. Safety-critical Java programs from Circus models. Real-Time Systems, 49(5):614-667, 2013. [doi]
@article{CavalcantiZWWW13,
title = {Safety-critical Java programs from Circus models},
author = {Ana Cavalcanti and Frank Zeyda and Andy J. Wellings and Jim Woodcock and Kun Wei},
year = {2013},
doi = {10.1007/s11241-013-9182-4},
url = {http://dx.doi.org/10.1007/s11241-013-9182-4},
researchr = {https://researchr.org/publication/CavalcantiZWWW13},
cites = {0},
citedby = {0},
journal = {Real-Time Systems},
volume = {49},
number = {5},
pages = {614-667},
}