Email Record: The transition-map-entered-variable (T-MEV) mapping technique for sequential machine design /