Matrix measure verification of a hybrid systems benchmark example