Sérgio Vale Aguiar Campos Edmund M. Clarke Wilfredo R. Marrero Marius Minea Timing analysis of industrial real-time systems. 97-107 1995 WIFT https://doi.org/10.1109/WIFT.1995.515482 https://doi.ieeecomputersociety.org/10.1109/WIFT.1995.515482 conf/wift/1995 db/conf/wift/wift1995.html#CamposCMM95