Developing concepts and methods for module and integration tests for models of reactive systems. - Yusufu Kyeyune (2000)