publisher of Recent Advances towards the Industrial Application of Model-Driven Engineering for Assurance of Safety-Critical Systems. 632-641. 2018
