Hydra (A General Framework for Formalizing UML with Formal Languages for Embedded Systems*)
https://www.powershow.com/view/6c751-MjNlM/Hydra_A_General_Framework_for_Formalizing_UML_with_Formal_Languages_for_Embedded_Systems_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/