On Efficiently Specifying Models for Model Checking. - Mykhaylo Nykolaychuk; Michael Lipaczewski; Tino Liebusch; Frank Ortmeier (IMBSA, 2014)