,
I.E.E.E.
IEEE Transactions on Automatic Control
Scientific Computing

Su, R., van Schuppen, J., & Rooda, J. (2012). The synthesis of time optimal supervisors by using heaps of pieces. IEEE Transactions on Automatic Control, 57, 105–118.