Local Causal Reasoning of a Safety-Critical Subway System.

Edgar G. Daylight Sandeep K. Shukla Local Causal Reasoning of a Safety-Critical Subway System. 83-84 2007 conf/memocode/2007 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2007.371245 db/conf/memocode/memocode2007.html#DaylightS07