Sérgio Vale Aguiar Campos Edmund M. Clarke Wilfredo R. Marrero Marius Minea Hiromi Hiraishi 266-270 1994 conf/rtss/1994 RTSS db/conf/rtss/rtss1994.html#CamposCMMH94 https://doi.org/10.1109/REAL.1994.342709 https://doi.ieeecomputersociety.org/10.1109/REAL.1994.342709