A Design Method of Consumer Electronics Products Based on Supervisory Control and Model Checking | IEEE Conference Publication | IEEE Xplore