Antti Valmari. Stop It, and Be Stubborn!. ACM Trans. Embedded Comput. Syst., 16(2), 2017. [doi]
@article{Valmari17-0, title = {Stop It, and Be Stubborn!}, author = {Antti Valmari}, year = {2017}, doi = {10.1145/3012279}, url = {http://doi.acm.org/10.1145/3012279}, researchr = {https://researchr.org/publication/Valmari17-0}, cites = {0}, citedby = {0}, journal = {ACM Trans. Embedded Comput. Syst.}, volume = {16}, number = {2}, }