Towards property-based consistency verificationPaolo ViottiChristopher Meiklejohnet al.2016PaPoC 2016