Validating the ADARTS software design method for real-time systems. - Mike Cochran; Hassan Gomaa (TRI-Ada, 1991)