@article{ATEM-J-2006-HeymansSTBMC,
	author        = "Patrick Heymans and Pierre-Yves Schobbens and Jean-Christophe Trigaux and Yves Bontemps and Raimundas Matulevicius and Andreas Claßen",
	doi           = "10.1049/iet-sen:20070055",
	journal       = "{IET Software}",
	number        = 3,
	pages         = "281--302",
	title         = "{Evaluating formal properties of feature diagram languages}",
	volume        = 2,
	year          = 2008,
}