Brian Henderson-Sellers UML - the Good, the Bad or the Ugly? Perspectives from a panel of experts. [Citation Graph (0, 0)][DBLP] Software and System Modeling, 2005, v:4, n:1, pp:4-13 [Journal]
Cindy Eisner Formal verification of software source code through semi-automatic modeling. [Citation Graph (0, 0)][DBLP] Software and System Modeling, 2005, v:4, n:1, pp:14-31 [Journal]