## Parameterized systems

Parosh Aziz Abdulla, A. Prasad Sistla, Muralidhar Talupur:
Model Checking Parameterized Systems. Handbook of Model Checking 2018: 685-725

Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar:
Model checking parameterized asynchronous shared-memory systems. Formal Methods in System Design 50(2-3): 140-167 (2017)

Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier:
Distributed Local Strategies in Broadcast Networks. CONCUR 2015: 44-57

Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, Doug Woos:
Modularity for decidability of deductive verification with applications to distributed systems. PLDI 2018: 662-677

## Bisimulation relations
Jean-Claude Fernandez:
An Implementation of an Efficient Algorithm for Bisimulation Equivalence. Sci. Comput. Program. 13(1): 219-236 (1989)

Jan Friso Groote, David N. Jansen, Jeroen J. A. Keiren, Anton Wijs:
An O(mlogn) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation. ACM Trans. Comput. Log. 18(2): 13:1-13:34 (2017)

## Efficient Bisimulation metric computation
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare:
On-the-Fly Exact Computation of Bisimilarity Distances. TACAS 2013: 1-15

## Interfacing models
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala:
Task-structured probabilistic I/O automata. J. Comput. Syst. Sci. 94: 63-97 (2018)

Luca de Alfaro, Thomas A. Henzinger:
Interface automata. ESEC / SIGSOFT FSE 2001: 109-120

## SMT-based model checking
Thomas Ball, Andreas Podelski, Sriram K. Rajamani:
Boolean and Cartesian abstraction for model checking C programs. STTT 5(1): 49-58 (2003)

Christian Dehnert, Joost-Pieter Katoen, David Parker:
SMT-Based Bisimulation Minimisation of Markov Models. VMCAI 2013: 28-47