TY - RPRT TI - Formalizing the NIST 4-DRCS reference model architecture using an architectural description language AU - Dabrowski, C AU - Messina, H HuangE AU - Horst, J PY - 1999 PB - National Institute of Standards and Technology CY - Gaithersburg, MD SN - NIST IR 6443 DO - 10.6028/NIST.IR.6443 ER -