Jaspan, Ciera Keeling, Michael MacCherone, Larry Zenarosa, Gabriel L. Shaw, Mary Software Mythbusters Explore Formal Methods Institute for Software Research Software Research 2009-11-01
    https://kilthub.cmu.edu/articles/journal_contribution/Software_Mythbusters_Explore_Formal_Methods/6625835
10.1184/R1/6625835.v1