An approach for the introduction of passive system unavailability in an accident sequence | IEEE Conference Publication | IEEE Xplore