@inproceedings{Epispin,
	author          = {B. de Vos; L.C.L. Kats; C. Pronk},
	title           = {EpiSpin: an Eclipse Plug-in for Promela/Spin using Spoofax},
	booktitle       = {Model Checking Software},
	publisher       = {Springer Verlag},
	year            = {2011},
	month           = {July },
	organization    = {Spin},
	editor          = {A. Groce; M. Musurvathi},
	volume          = {6823},
	series          = {LNCS},
	pages           = {177-182},
	isbn            = {987-3-642-22305-1},
	project         = {Stratego/XT},
	topic           = {Programming languages},
	group           = {SE}
}