On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL | IEEE Conference Publication | IEEE Xplore