emphysis.org | EMPHYSIS - Embedded systems with physical models in the production code software