Elisabetta Binaghi, Lorenzo Lisca, Alberto Proserpio, Giacomo R. Sechi. An abstract description generator for the reliability analysis in the design of real time systems. Journal of Systems Architecture, 23(1-5):157-165, 1988. [doi]
Abstract is missing.