The design and modelling of spelling paradigms for assistive devices using binary control signals