Michael Barnett David A. Naumann Wolfram Schulte Qi Sun Allowing State Changes in Specifications. 321-336 2006 conf/etrics/2006 ETRICS http://dx.doi.org/10.1007/11766155_23 db/conf/etrics/etrics2006.html#BarnettNSS06