Thomas J. Wheeler Embedded system design with ADA as the system design language. 11-21 1981 2 Journal of Systems and Software 1 http://dx.doi.org/10.1016/0164-1212(81)90042-X db/journals/jss/jss2.html#Wheeler81