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