Architecture-Based Testing and System Validation   Workshop, Boulder, Colorado, USA, 24 June 2011