Supervisors for testing non-deterministically specified systems | IEEE Conference Publication | IEEE Xplore