Barbara Gallina Nicolas Guelfi Pierre Kelsen Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development. 94-103 2009 SEW http://doi.ieeecomputersociety.org/10.1109/SEW.2009.13 conf/sew/2009 db/conf/sew/sew2009.html#GallinaGK09