4 works on record
Formal Methods and Software Engineering
Structured Object-Oriented Formal Language and Method
Civil Engineering and Energy-Environment
Civil Engineering and Energy-Environment Vol 2