1. Automated safety analysis by minimal path set detection for multi-domain object-oriented models. Issue 3 (4th May 2017) Authors: Schallert, Christian Journal: Mathematical and computer modelling of dynamical systems Issue: Volume 23:Issue 3(2017) Page Start: 341 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗