Models of the TWINSCAN laser subsystem for model-based testing door K.M. Pepklowska