An Experimental Investigation of Formality in UML-Based Development. - Lionel C. Briand; Yvan Labiche; Massimiliano Di Penta; Han (Daphne) Yan-Bondoc (IEEE Trans. Software Eng., 2005)