@article{TeiEggFra:NAHS,Author = {Teige, Tino and Eggers, Andreas and Fränzle, Martin},Title = {Constraint-Based Analysis of Concurrent Probabilistic Hybrid Systems: An Application to Networked Automation Systems},Journal = {Nonlinear Analysis: Hybrid Systems},Year = {2011},Volume = {5},Number = {2},Pages = {343-366},Month = {01},Publisher = {Elsevier},type = {article}}@COMMENT{Bibtex file generated on }