D
[Dil90] David L. Dill. Timing Assumptions and Verification of Finite-State Concurrent Systems. In AVMFSS'89, Lecture Notes in Computer Science 407, pages 197-212. Springer-Verlag, 1990. 
@inproceedings{avmfss1989-dill,
  author =              {Dill, David L.},
  title =               {Timing Assumptions and Verification of Finite-State
                         Concurrent Systems},
  editor =              {Sifakis, Joseph},
  booktitle =           {{P}roceedings of the {I}nternational {W}orkshop on
                         {A}utomatic {V}erification {M}ethods for {F}inite
                         {S}tate {S}ystems ({AVMFSS}'89)},
  acronym =             {{AVMFSS}'89},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {407},
  pages =               {197-212},
  year =                {1990},
  confyear =            {1989},
  confmonth =           {6},
  doi =                 {10.1007/3-540-52148-8_17},
}
List of authors