MIDAS: integrated design and simulation of distributed systems · Study