Next-Generation Model Checking and Abstract Interpretation with a Focus on Systems Biology and Embedded Systems A Collaborative Proposal to the NSF Experimental.