168 Dan Wu, Ivana Naeymi-Rad, and Ed Colbert (University of Southern California), “Extending MBASE to
Support the Development of Secure Systems,” in Proceedings of the Software Process Workshop,
Beijing, China, May 25–27, 2005.
Ext_danwu_abstract%5B1%5D.v1.revisedv2.1.pdf