Financial Industry Ontologies for Risk and Regulation Data (FIORD) - A Position Paper. - Justin McCarthy; Laurentiu Vasiliu; Allan D. Grody; Cal Muckley; Donald Lawrence; Fokion Zervoudakis; Said Tabet; Jeroen van Grondelle; Thanassis Bouras; Kiran Fernandes 001; Theodoros Krintas; Panos Xidonas; et al. (PRO-VE, 2013)

Cascading verification: an integrated method for domain-specific model checking. - Fokion Zervoudakis; David S. Rosenblum; Sebastian G. Elbaum; Anthony Finkelstein (ESEC/SIGSOFT FSE, 2013)

Cascading verification : an integrated method for domain-specific model checking. - Fokion Zervoudakis (2014)