Structured English for Model Checking Specification
S. Flake, W. Müller, J. Ruf, (2000).