m2m-sat

Code and documentation available for M2M SAT Project (https://secan-lab.uni.lu/projects/national-funded-projects/297-m2msat)