A supporting method of the evolution of state diagrams with scenarios | IEEE Conference Publication | IEEE Xplore