Springer
International Conference on Current Trends in Theory and Practice of Computer Science
Specification and Analysis of Embedded Systems

Chen, T, van Glabbeek, R.J, & Fokkink, W.J. (2009). On finite bases for weak semantics: failures versus impossible futures. In Lecture Notes in Computer Science (pp. 167–180). Springer.