Gurov, V.; Mazin, M.; Shalyto, A. Auto-Completion of Guard Condition Expressions in State Charts. ICS 2008, 24-33.