Huafeng Yu Yue Ma 0004 Thierry Gautier Loïc Besnard Jean-Pierre Talpin Paul Le Guernic Yves Sorel Exploring system architectures in AADL via Polychrony and SynDEx. 627-649 2013 7 Frontiers Comput. Sci. 5 https://doi.org/10.1007/s11704-013-2307-z db/journals/fcsc/fcsc7.html#YuMGBTGS13