A Framework for State-Space Exploration of Java-Based Actor Programs