Enhancing DoDAF with a HCPN Executable Model to Support Validation. - Feng Ni; Ming-Zhe Wang; Jing-Jing Liao; Jing-Dan Zhou (ISCID (2), 2009)