Elsevier
Information Processing Letters
Specification and Analysis of Embedded Systems

Chen, T., Fokkink, W., & van Glabbeek, R. (2008). Ready to preorder: the case of weak process semantics. Information Processing Letters, 109(2), 104–111.