BMW Software Engineering

(Formal) Methods for a modern software process