Boeken over Design of a performance model in POOSL for a MEMS mirror-based control system