John Hatcliff William Deng Matthew B. Dwyer Georg Jung Venkatesh Prasad Ranganath Robby Slicing and partial evaluation of CORBA component model designs for avionics system. 1-2 2003 conf/pepm/2003 PEPM http://doi.acm.org/10.1145/777388.777389 db/conf/pepm/pepm2003.html#HatcliffDDJRR03