Nazareno Aguirre Marcelo F. Frias Mariano M. Moscato T. S. E. Maibaum Alan Wassyng Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. 155-170 2009 FASE http://dx.doi.org/10.1007/978-3-642-00593-0_11 conf/fase/2009 db/conf/fase/fase2009.html#AguirreFMMW09