Modelling new_resource/4
Modelling call/2.
Parallel testing (with and without PULSE)

No race conditions found :(