Formalizing the framework design language F-UML | IEEE Conference Publication | IEEE Xplore