@article{Berthomieu:1991:MVT:103056.103061,
    Address = {Piscataway, NJ, USA},
    Author = {Berthomieu, Bernard and Diaz, Michel},
    ISSN = {0098-5589},
    Journal = {IEEE Trans. Softw. Eng.},
    Keywords = {Petri nets, alternating bit protocol, communication systems, concurrent systems, explicit values, formal specification, formal verification, parallel programming, program verification, protocols, specification, time Petri nets, time dependent systems, time-dependent systems, verification},
    Month = {March},
    Number = {3},
    Pages = {259--273},
    Publisher = {IEEE Press},
    Title = {Modeling and Verification of Time Dependent Systems Using Time Petri Nets},
    URL = {http://dx.doi.org/10.1109/32.75415},
    Volume = {17},
    Year = {1991},
    acmid = {103061},
    bdsk-url-1 = {http://dx.doi.org/10.1109/32.75415},
    date-added = {2014-01-16 16:32:38 +0000},
    date-modified = {2014-01-16 16:32:38 +0000},
    issue_date = {March 1991},
    numpages = {15},
    doi = {10.1109/32.75415}
}

@article{Berthomieu:1991:MVT:103056.103061, Address = {Piscataway, NJ, USA}, Author = {Berthomieu, Bernard and Diaz, Michel}, ISSN = {0098-5589}, Journal = {IEEE Trans. Softw. Eng.}, Keywords = {Petri nets, alternating bit protocol, communication systems, concurrent systems, explicit values, formal specification, formal verification, parallel programming, program verification, protocols, specification, time Petri nets, time dependent systems, time-dependent systems, verification}, Month = {March}, Number = {3}, Pages = {259--273}, Publisher = {IEEE Press}, Title = {Modeling and Verification of Time Dependent Systems Using Time Petri Nets}, URL = {http://dx.doi.org/10.1109/32.75415}, Volume = {17}, Year = {1991}, acmid = {103061}, bdsk-url-1 = {http://dx.doi.org/10.1109/32.75415}, date-added = {2014-01-16 16:32:38 +0000}, date-modified = {2014-01-16 16:32:38 +0000}, issue_date = {March 1991}, numpages = {15}, doi = {10.1109/32.75415} }