What is Topcased? * Critical systems Topcased is a software environment primarily dedicated to the realization of critical embedded systems including hardware and/or software. * Modeling Topcased promotes model-driven engineering and formal me