Bibliography

Reissig, G.; Weber, A. and Rungger, M. (2016). Feedback refinement relations for the synthesis of symbolic controllers. IEEE Transactions on Automatic Control 62, 1781–1796.

Åström, K. J. and Murray, R. M. (2007). Feedback systems. An Introduction for Scientists and Engineers, Karl Johan Aström and Richard M Murray, 27–64.