Bruce Lewis Steve Vestal David J. McConnell Modern Avionics Requirements for the Distributed Systems Annex. 201-212 http://link.springer.de/link/service/series/0558/bibs/1411/14110201.htm 1998 conf/adaEurope/1998 Ada-Europe db/conf/adaEurope/adaEurope1998.html#LewisVM98