An Experimental Investigation of Formality in UML-Based Development. - Briand, Lionel C.; Labiche, Yvan; Di Penta, Massimiliano (IEEE Transactions on Software Engineering, 2005)