ArcheOpterix: An extendable tool for architecture optimization of AADL models | IEEE Conference Publication | IEEE Xplore