Formal Methods for the Informal World. - Carol Muehrcke (CSFW, 1994)

Model-based Security Metrics Using ADversary VIew Security Evaluation (ADVISE). - Elizabeth LeMay; Michael D. Ford; Ken Keefe; William H. Sanders; Carol Muehrcke (QEST, 2011)

Implementing the ADVISE security modeling formalism in Möbius. - Michael D. Ford; Ken Keefe; Elizabeth LeMay; William H. Sanders; Carol Muehrcke (DSN, 2013)