Model Checker Aided Design of a Controller for a Wafer Scanner.

Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager

Browse the full ISoLA paper archive.