Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets | IEEE Conference Publication | IEEE Xplore