Formal and use-case driven requirement analysis in UML | IEEE Conference Publication | IEEE Xplore