B
[BMF02] Ed Brinksma, Angelika Mader, and Ansgar Fehnker. Verification and Optimization of a PLC Control Schedule. International Journal on Software Tools for Technology Transfer 4(1):21-33. Springer-Verlag, 2002. 
@article{sttt4(1)-BMF,
  author =              {Brinksma, Ed and Mader, Angelika and Fehnker,
                         Ansgar},
  title =               {Verification and Optimization of a {PLC} Control
                         Schedule},
  publisher =           {Springer-Verlag},
  journal =             {International Journal on Software Tools for
                         Technology Transfer},
  volume =              {4},
  number =              {1},
  pages =               {21-33},
  year =                {2002},
}
List of authors