@article{DGR14,
 author = {D\"{u}mmler, J. and Gehre, S. and R\"{u}nger, G.},
 title = {{Modeling and Verification of Production Process Chains}},
 journal = {International Journal of Computer Theory and Engineering},
 volume = {6},
 number = {4},
 pages = {346--352},
 year = {2014},
 issn = {1793-8201},
 publisher = {IACSIT Press},
 doi = {10.7763/IJCTE.2014.V6.887},
}