Michele Tucci: Model-driven round-trip software dependability engineering. MoDELS (Companion) 2018: 186-191