Laurent Pautet Samuel Tardieu What future for the distributed systems annex?. 77-82 1999 SIGAda http://doi.acm.org/10.1145/319294.319307 db/conf/sigada/sigada1999.html#PautetT99