Title: Formalizing the NIST 4-D/RCS reference model architecture using an architectural description language
Subjects: Real-time control, Development, Computer software
Places: United States