A systems-theoretic approach to safety in software-intensive systems | IEEE Journals & Magazine | IEEE Xplore