A formal approach to check and schedule reconfigurable embedded control systems | IEEE Conference Publication | IEEE Xplore