@Article{BG05, Author = "Bock, C. and Gruninger, M.", Year = "2005", Title = "{PSL: A Semantic Domain for Flow Models}", Journal = "Journal of Software and Systems Modeling", Volume = "4", Number = "2", Pages = "209-231", Comment = "TPTPRef" }