Improving design quality by automatic verification of activity diagram syntax | IEEE Conference Publication | IEEE Xplore