Drupal-Bibcite<style face="normal" font="default" size="100%">Automated synthesis of time-triggered architecture-based TrueTime models for platform effects simulation and analysis</style>