@article{RNTI/papers/1000535, author = {Michael Leuschel and Daniel Plagge}, title = {Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more}, journal = {Revue des Nouvelles Technologies de l'Information}, volume = {ISoLA 2007, Workshop on leveraging applications of formal methods, verification and validation,, RNTI-SM-1}, year = {2007}, pages = {73-84} }