“…Getting an accurate panorama of bisimulation tools by reading publications is uneasy, as related work was not always cited properly. Fortunately, a few benchmarks and surveys exist, e.g., a gentle introduction [145] to the principles of bisimulation tools, followed by an overview of ALDEBARAN, AUTO, CWB, PVE, TAV, etc. ; a comparative evaluation [278] of bisimulation techniques in ALDEBARAN, AUTO, CWB, TAV, WINSTON, etc.…”