Model-driven methods for developing ISO-certified safety-critical systems

By Laurenz Gutleder .
Advised by Christian Huemer