Stephen Michell, Dan Craigen, Mark Saaltink. Using analytical approaches for high integrity Ada95 systems. In Andy J. Wellings, editor, Proceedings of the Eighth International Workshop on Real-Time Ada, IRTAW 1997, Ravenscar, United Kingdom, 1997. pages 65-70, ACM, 1997. [doi]
Abstract is missing.