Automated safety analysis by minimal path set detection for multi-domain object-oriented models. Issue 3 (4th May 2017)