Visual Paradigm file for state diagram