An Extension of TRIANGLE Testbed with Model-Based Testing | Publicación