1. Greenwald MJ, Weiss A, Oesterle CS, Friendly DS. Traumatic retinoschisis in battered babies. Ophthalmology. 1986;93:618-625. 2. Massicotte SJ, Folberg R, Torczynski E, Gilliland MGF, Luckenbach MW. Vitreoretinal traction and perimacular retinal folds in the eyes of deliberately traumatized children. Ophthalmology. 1991;98:1124-1127. 3. Lantz PE, Sinal SH, Stanton CA, Weaver RG Jr. Perimacula...

In this paper we describe a case study on lacquer production scheduling that was performed in the European IST-project AMETIST and was provided by one of the industrial partners. The approach is to derive schedules by means of reachability analysis: with this technique the search mechanism of model checkers, in our case here Uppaal, is used to find feasible or optimal schedules. The advantage o...