This technical report specifies the Zerberus language, a language to describe the formal model of an application. The Zerberus language is part of the Zerberus System, a development environment for secure and reliable real-time control application. The specification is not intended to be an introduction to the Zerberus System; it should rather serve as a reference book for application developers. Besides the pure syntax and semantics of the Zerberus language several semantical errors are discussed. Furthermore examples are presented to clarify the specification.     «

This technical report specifies the Zerberus language, a language to describe the formal model of an application. The Zerberus language is part of the Zerberus System, a development environment for secure and reliable real-time control application. The specification is not intended to be an introduction to the Zerberus System; it should rather serve as a reference book for application developers. Besides the pure syntax and semantics of the Zerberus language several semantical errors are discus...     »