Towards Efficient Verification of Elementary Object Systems. - Ismaila Jihad Abdullahi; Berndt Müller (CS&P, 2016)