A New Specification Methodology for Embedded Systems Based on the

Stefan Förster M. Fischer André Windisch B. Balser Dieter Monjau A New Specification Methodology for Embedded Systems Based on the - Calculus Process Algebra. 26-32 2003 conf/rsp/2003 IEEE International Workshop on Rapid System Prototyping http://csdl.computer.org/comp/proceedings/rsp/2003/1943/00/19430026abs.htm db/conf/rsp/rsp2003.html#ForsterFWBM03