Kristina Lundqvist Lars Asplund Stephen Mitchell A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects. 12-25 http://link.springer.de/link/service/series/0558/bibs/1622/16220012.htm 1999 conf/adaEurope/1999 Ada-Europe db/conf/adaEurope/adaEurope1999.html#LundqvistAM99