Jin-Young Choi, Insup Lee, Hong-liang Xie. The Specification and Schedulability Analysis of Real-Time Systems using ACSR. In IEEE Real-Time Systems Symposium. pages 266-275, 1995.
@inproceedings{ChoiLX95, title = {The Specification and Schedulability Analysis of Real-Time Systems using ACSR}, author = {Jin-Young Choi and Insup Lee and Hong-liang Xie}, year = {1995}, tags = {analysis}, researchr = {https://researchr.org/publication/ChoiLX95}, cites = {0}, citedby = {0}, pages = {266-275}, booktitle = {IEEE Real-Time Systems Symposium}, }