2 works on record
Mathematical and Engineering Methods in Computer Science
Tools and Algorithms for the Construction and Analysis of Systems