Richard Banach Formal Methods Guest Editorial. 593-601 2007 13 J. UCS 5 http://www.jucs.org/jucs_13_5/formal_methods db/journals/jucs/jucs13.html#Banach07