@inproceedings{ABDHHKLP13,
	Author = {Andr{\'{e}}, {\'{E}}tienne and Barbot, Beno{\^{\i}}t and D{\'{e}}moulins, Cl{\'{e}}ment and Hillah, Lom Messan and Hulin-Hubard, Francis and Kordon, Fabrice and Linard, Alban and Petrucci, Laure},
	Booktitle = {15th {I}nternational {C}onference on {F}ormal {E}ngineering {M}ethods ({ICFEM}'13)},
	editor = {Lindsay Groves and Jing Sun},
	ee        = {http://dx.doi.org/10.1007/978-3-642-41202-8_14},
	isbn      = {978-3-642-41201-1},
	location = {Auckland, New Zealand},
	Month = {October},
	Pages = {199-214},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems},
	Volume = {8144},
	Year = {2013},
}