Mike’s ST device handlers are no longer available.
I have the code for the micro switch and I don’t mind sharing with you, but only if it’s cool with him.
Alternatively, you can just use the ST device handlers for these devices, and if you need to change parameters that the default handlers don’t expose, check out z-wave tweaker.