Yes I've done it in DesignSpark - well over complex for the application but essentially it's done. I hate the symbols they use for n/o & n/c contacts but I've found that you can draw your own, so that's the next phase. (I like a solid rectangle either touching or not touching a pair of ball contacts - I know it's not ANSI or IEC but it's what I'm used to !)