Generation of Execution Sequences for Modular Time Critical Systems

Pierluigi San Pietro, Angelo Morzenti, Sandro Morasca. Generation of Execution Sequences for Modular Time Critical Systems. IEEE Trans. Software Eng., 26(2):128-149, 2000. [doi]

Abstract

Abstract is missing.