Towards certifiable reconfigurable real-time mission critical software systems. - Richard Alexander Wilkinson (2009)