@article{BTCBB2012,
 article_location = {PISCATAWAY},
 article_number = {6},
 author = {Boyan Yordanov and Jana Tůmová and Ivana Černá and Jiří Barnat and Calin Belta},
 doi = {http://dx.doi.org/10.1109/TAC.2011.2178328},
 issn = {0018-9286},
 journal = {IEEE Transactions on Automatic Control},
 keywords = {Control design; discrete time systems; formal specifications; piecewise linear approximation},
 language = {eng},
 title = {Temporal Logic Control of Discrete-Time Piecewise Affine Systems},
 volume = {57},
 year = {2012}
}