Douglas J. Howe, Stephen Michell. An approach to formal verication of real time concurrent Ada programs. In Tullio Vardanega, editor, Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW 2003, Viana do Castelo, Portugal, September 15-19, 2003. pages 87-92, ACM, 2003. [doi]
Abstract is missing.