homeresources & publications › automated system fault modeling