David S. Rosenblum Sriram Sankar David C. Luckham Concurrent Runtime Checking of Annotated Ada Programs. 10-35 1986 conf/fsttcs/1986 FSTTCS db/conf/fsttcs/fsttcs86.html#RosenblumSL86 http://dx.doi.org/10.1007/3-540-17179-7_2