Beneš, Černá, Křivánek, 2011. CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems 72.. https://doi.org/10.4204/eptcs.72.7