Research project on heterogeneous IoT protocols modelling - View it on GitHub