Eric S. Kim, Murat Arcak, Sanjit A. Seshia: Symbolic control design for monotone systems with directed specifications. Autom. 83: 10-19 (2017)