Bernd J. Krämer, Tiziana Margaria: A Hindsight on Formal Methods and Prospects of Semantic Computing in Software Engineering. Int. J. Semantic Comput. 3(1): 5-30 (2009)