43	  Leuschel, Michael  (2008) The High Road to Formal Validation: Model Checking High-Level versus Low-Level Specifications.   In:  Proceedings ABZ'2008.   Springer-Verlag, pp. 4-23.