Model-based verification and testing of laser-subsystem door J. Anggono