Johannes Kloos, Robert Eschbach. A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems. Electronic Notes in Theoretical Computer Science, 263:145-160, 2010. [doi]
@article{KloosE10, title = {A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems}, author = {Johannes Kloos and Robert Eschbach}, year = {2010}, doi = {10.1016/j.entcs.2010.05.009}, url = {http://dx.doi.org/10.1016/j.entcs.2010.05.009}, tags = {composition, systematic-approach}, researchr = {https://researchr.org/publication/KloosE10}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {263}, pages = {145-160}, }