An Experience on Formal Analysis of a High-Level Graphical SOA Design. - Maurice H. ter Beek; Franco Mazzanti; Aldi Sulova (FM+AM, 2010)

VMC: A Tool for Product Variability Analysis. - Maurice H. ter Beek; Franco Mazzanti; Aldi Sulova (FM, 2012)