EmbSW1 Formelsammlung zur Embedded Software Engineering 1 Vorlesung von Prof. Reto Bonderer. First use Ensure you have checkout the git submodule. git submodule update --init --recursive