Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code

@ARTICLE{Biallas:443854,
      author       = {Biallas, Sebastian and Kowalewski, Stefan and Stattelmann,
                      Stefan and Schlich, Bastian},
      title        = {{E}fficient {H}andling of {S}tates in {A}bstract
                      {I}nterpretation of {I}ndustrial {P}rogrammable {L}ogic
                      {C}ontroller {C}ode},
      address      = {Cachan, France},
      publisher    = {IFAC},
      pages        = {400-405},
      year         = {2014},
      comment      = {Discrete Event Systems : [Proc. Proceedings of the 12th
                      International Workshop on Discrete Event Systems, Cachan,
                      France, 2014] / Conference Editor: Lesage, Jean-Jacques,
                      Faure, Jean-Marc, Cury, Jose E. R., Lennartson, Bengt},
      booktitle     = {Discrete Event Systems : [Proc.
                       Proceedings of the 12th International
                       Workshop on Discrete Event Systems,
                       Cachan, France, 2014] / Conference
                       Editor: Lesage, Jean-Jacques, Faure,
                       Jean-Marc, Cury, Jose E. R.,
                       Lennartson, Bengt},
      cin          = {120000 / 122810},
      cid          = {$I:(DE-82)120000_20140620$ / $I:(DE-82)122810_20140620$},
      typ          = {PUB:(DE-HGF)8},
      doi          = {10.3182/20140514-3-FR-4046.00065},
      url          = {https://publications.rwth-aachen.de/record/443854},
}