Haddad, et al.. A Model Checking Method for Partially Symmetric Systems. Springer US, 2000, doi:10.1007/978-0-387-35533-7_8.