Bernhard Freudenthaler

The authors are experienced industrial researchers in the field of computer science and software engineering, with experience in business process modelling and formal methods in particular. They have been working in a common team at the Software Competence Center Hagenberg (SCCH) in Austria.