K. Jackson
-
Embedded system design with ada as the system design language
Journal of Systems and Software