selected publications book Using the NIST reference model for refining logical architectures. Ed. 8583 LNCS. 2014