1st International Workshop on Methods and Tools for Rigorous System Design (MeTRiD) as part of European Joint Conferences on Theory and Practice of Software (ETAPS) Conference