Kamel Barkaoui Manfred Broy Ana Cavalcanti Antonio Cerone Guest Editorial. 349-350 2008 20 Formal Asp. Comput. 4-5 http://dx.doi.org/10.1007/s00165-008-0085-4 db/journals/fac/fac20.html#BarkaouiBCC08