The Specification and Schedulability Analysis of Real-Time Systems using ACSR. - Jin-Young Choi; Insup Lee 001; Hong-liang Xie (RTSS, 1995)

XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems. - Duncan Clarke; Hanêne Ben-Abdallah; Insup Lee 001; Hong-liang Xie; Oleg Sokolsky (CAV, 1996)

A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems. - Hanêne Ben-Abdallah; Jin-Young Choi; Duncan Clarke; Young-Si Kim; Insup Lee 001; Hong-liang Xie (Real Time Syst., 1998)