Study on Formalizing Unified Modeling Language Activity Diagrams in FDR | IEEE Conference Publication | IEEE Xplore