B
[BM00] Ed Brinksma and Angelika Mader. Verification and Optimization of a PLC Control Schedule. In SPIN'00, Lecture Notes in Computer Science 1885, pages 73-92. Springer-Verlag, August 2000. 
@inproceedings{spin2000-BM,
  author =              {Brinksma, Ed and Mader, Angelika},
  title =               {Verification and Optimization of a {PLC} Control
                         Schedule},
  editor =              {Havelund, Klaus and Penix, John and Viser, Willem},
  booktitle =           {{P}roceedings of the 7th {I}nternational {SPIN}
                         {W}orkshop ({SPIN}'00)},
  acronym =             {{SPIN}'00},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1885},
  pages =               {73-92},
  year =                {2000},
  month =               aug,
}
List of authors