Support stopTime directive, and fix square-brackets in signal names