@article{Sighireanu_1998,
    doi = {10.1007/s100090050018},
    url = {https://doi.org/10.1007%2Fs100090050018},
    year = {1998},
    month = {nov},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {2},
    number = {1},
    pages = {68--88},
    author = {Mihaela Sighireanu and Radu Mateescu},
    title = {Verification of the Link layer protocol of the {IEEE}-1394 serial bus ({FireWire}): an experiment with E-{LOTOS}},
    journal = {International Journal on Software Tools for Technology Transfer ({STTT})}
}

@article{Sighireanu_1998, doi = {10.1007/s100090050018}, url = {https://doi.org/10.1007%2Fs100090050018}, year = {1998}, month = {nov}, publisher = {Springer Science and Business Media {LLC}}, volume = {2}, number = {1}, pages = {68--88}, author = {Mihaela Sighireanu and Radu Mateescu}, title = {Verification of the Link layer protocol of the {IEEE}-1394 serial bus ({FireWire}): an experiment with E-{LOTOS}}, journal = {International Journal on Software Tools for Technology Transfer ({STTT})} }