state machines. Your profile To be a match for this internship, you: Are a master student in Computer Science, Control... a supervisory controller, and reduce the dependency on (extensive) functional testing when validating it. The pursued approach...