Specification and Verification of Real-Time Field Bus with Formal Description Languages. - Perfecto Mariño; Francisco Poza; Miguel Angel Domínguez; Juan B. Nogueira (ARTS, 1997)

Formal specification applied to industrial LAN's design. - Perfecto Mariño; Francisco Poza; Miguel Angel Domínguez; Juan B. Nogueira (EUROMICRO, 1997)

A Reusable Distributed Software Architecture Driven by Metadata. - Perfecto Mariño; César A. Sigüenza; Juan B. Nogueira; Francisco Poza; Miguel Angel Domínguez (APSEC, 1999)

Design of Distributed System Protocols based on Standard FDL's. - Perfecto Mariño; Miguel Angel Domínguez; Francisco Poza; Juan B. Nogueira (EUROMICRO, 1999)

An Event Driven Software Architecture for Enterprise-Wide Data Source Integration. - Perfecto Mariño; César A. Sigüenza; Juan B. Nogueira; Francisco Poza; Miguel Angel Domínguez (ITCC, 2000)

The PROFIBUS formal specification: a comparison between two FDTs. - Perfecto Mariño; Juan B. Nogueira; César A. Sigüenza; Francisco Poza; Miguel Angel Domínguez (Comput. Networks, 2001)