A Formal Model for the Building of State Machines: A Lightweight Approach | IEEE Conference Publication | IEEE Xplore