Drupal-Bibcite<style face="normal" font="default" size="100%">Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems</style>