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