TY  - RPRT
TI  - A tool for modeling concurrent real-time computation
AU  - Sharma, D. D.
AU  - Huang, Shie-Rei
AU  - Bhatt, Rahul
AU  - Sridharan, N. S.
PY  - 1990
UR  - https://ntrs.nasa.gov/citations/19900018005
ID  - 19900018005
ER  -