An experimental investigation of formality in UML-based development | IEEE Journals & Magazine | IEEE Xplore