State machines, represented as state tables, often arranged in a heirarchy.

Not appropriate for everything, but for most things I do, can't be beat.

I also wrote my own tool to design/spec/test such designs.