EpiSpin: an Eclipse Plug-in for Promela/Spin using

by B. De Vos , L. C. L. Kats , C. Pronk