Abbas Ahmad, IoT Interoperability Model-Based Testing, a FIWARE case study, User Conference on Advanced Automated Testing, UCAAT 2015, October 20-22, 2015, Sophia-Antipolis, France