@inproceedings{PLCKIV,
  author    = {Roland Gl{\"{u}}ck and
               Florian Benedikt Krebs},
  title     = {Towards Interactive Verification of Programmable Logic Controllers
               Using Modal Kleene Algebra and {KIV}},
  booktitle = {Relational and Algebraic Methods in Computer Science - 15th International
               Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1,
               2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9348},
  publisher = {Springer},
  editor    = {Wolfram Kahl and
               Michael Winter and
               Jos{\'{e}} N. Oliveira},
  pages     = {241--256},
  year      = {2015},
  url       = {http://dx.doi.org/10.1007/978-3-319-24704-5_15},
  doi       = {10.1007/978-3-319-24704-5_15},
}