Eric S. Kim: Constructive Formal Control Synthesis through Abstraction and Decomposition. University of California, Berkeley, USA 2019