Alfredo Capozucca Nicolas Guelfi Designing reliable real-time concurrent object-oriented software systems. 1996-1997 2009 SAC http://doi.acm.org/10.1145/1529282.1529726 conf/sac/2009 db/conf/sac/sac2009.html#CapozuccaG09