Xin An, Eric Rutten, Jean-Philippe Diguet, Abdoulaye Gamatié.
Model-based synthesis of correct controllers for dynamically reconfigurable architectures.
ACM Transactions on Embedded Computing Systems (TECS).
Volume 15 Issue 3, June 2016, Article No. 51.
http://dx.doi.org/10.1145/2873056
Aug 23
new paper in ACM TECS
