@InProceedings{Cecconi+Tronci2000,
author="Cecconi, Michele
and Tronci, Enrico",
title="Requirements Formalization and Validation for a Telecommunication Equipment Protection Switcher",
booktitle="Hase",
year="2000",
publisher="IEEE Computer Society",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=29), last updated on Thu, 22 Nov 2012 14:59:18 +0100",
issn="0-7695-0927-4",
doi="10.1109/HASE.2000.895456",
opturl="https://doi.org/10.1109/HASE.2000.895456",
file=":http://mclab.di.uniroma1.it/publications/papers/papers/Cecconi2000.pdf:PDF"
}