Verification of safety properties for parameterized regular systems (2005)

by D Cachera, K Morin-Allory
Venue:ACM Transactions on Embedded Computing Systems