@article{Sif5,
title = {System Design Automation: Challenges and Limitations },
author = {Sifakis, Joseph},
year = {2015},
journal = {Proceedings of the {IEEE}},
number = {11},
pages = {2093--2103},
volume = {103},
team = {RSD},
}
