@inproceedings{bandinelli94:experience,
    author  = {Sergio Bandinelli and Alfonso Fuggetta and Luigi Lavazza and Gian Pietro Picco},
    title   = {{An Experience in Improving an Industrial Software Process Through Formal Modeling}},
    booktitle = {Proceedings of the 4$^{th}$ Reengineering Forum},
    year    = {1994},
    month   = {September},
    note    = {The proceedings do not report the position paper, but only the presentation},
}