Talk:Signal (model checking)