Izak van Langevelde Judi Romijn Nicolae Goga Founding FireWire Bridges through Promela Prototyping. 239 2003 conf/ipps/2003 IPDPS http://csdl.computer.org/comp/proceedings/ipdps/2003/1926/00/19260239aabs.htm db/conf/ipps/ipdps2003.html#LangeveldeRG03