Symbolic model checking of UML statechart diagrams with an integrated approach | IEEE Conference Publication | IEEE Xplore