@misc {IOPORT.70840159,
    author       = {Rival, Xavier},
    title        = {Understanding the origin of alarms in astr\'ee},
    howpublished = {SAS, 303-319 (2005).},
    year         = {2005},
    doi          = {10.1007/11547662_21},
    identifier   = {70840159},
}