Matteo Dell'Amico Maura Cerioli DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications. 96-110 2006 conf/amast/2006 AMAST http://dx.doi.org/10.1007/11784180_10 db/conf/amast/amast2006.html#DellAmicoC06