:exclamation: This is a read-only mirror of the CRAN R package repository. PRISMA — Protocol Inspection and State Machine Analysis - View it on GitHub