Sami Evangelista Claude Kaiser Christophe Pajault Jean-François Pradat-Peyre Pierre Rousseau Dynamic Tasks Verification with Quasar. 91-104 2005 conf/adaEurope/2005 Ada-Europe http://dx.doi.org/10.1007/11499909_8 db/conf/adaEurope/adaEurope2005.html#EvangelistaKPPR05