selected publications academic article Refined System Architecture 2012 Initial System Architecture 2011