A Methodology of Model-Based Testing for AADL Flow Latency in CPS | IEEE Conference Publication | IEEE Xplore