presented at event CSER 2014: Conference on Systems Engineering Research, Redondo Beach, CA. To appear in Procedia Computer Science, Eds. A. Madni, B. Boehm, M. Sievers, and M. Wheaton. Conference