Experimenting with Software Architecture Flexibility Using an Implementation of the Tactical Separation Assisted Flight Environment | IEEE Conference Publication | IEEE Xplore