Paulo Veríssimo Alysson Neves Bessani Miguel Correia Nuno Ferreira Neves Paulo Sousa Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned. 1-8 2009 HICSS http://dx.doi.org/10.1109/HICSS.2009.150 conf/hicss/2009 db/conf/hicss/hicss2009.html#VerissimoBCNS09