Towards Efficient Verification of Elementary Object Systems - Bertie Muller (Concurrency, Specification, and Programming (CS&P 2016), 2016)