A formal approach to check and schedule reconfigurable embedded control systems.

Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch

Browse the full ETFA paper archive.