@article{ieee:tii:SeidnerRoux08,
  author    = {C. Seidner and O. H. Roux},
  title     = {Formal Methods for Systems Engineering Behavior Models},
  journal   = {IEEE Trans. Industrial Informatics},
  volume    = {4},
  number    = {4},
  year      = {2008},
  month		= nov,
  pages     = {280--291},
  ee        = {http://dx.doi.org/10.1109/TII.2008.2008998}
}