selected publications conference paper Supporting system architecture assessment by two-level functional modeling: Process oriented analysis and comparison of large-scale systems. . 2012