sentences:  The commercial spin-off Axivion was started in 2005.Research then was done at Axivion, the Institute of Software Technology, Department of Programming Languages at the University of Stuttgart as well as at the Software Engineering Group of the Faculty 03 at the University of Bremen.Today, the academic version of the Bauhaus project and the commercially sold Axivion Suite are different products, as development at Axivion since 2010 is based on a new infrastructure which allowed Axivion to add new applications such as MISRA checking.