Implementation aspects of software guards: A case study. - André A. Osti; Bruno Alves Pereira Botelho; Nelson Uto (ICITST, 2014)