Normalized in-line stepper coordinator design by the sequence diagram and production rules: a case study | IEEE Conference Publication | IEEE Xplore