https://bookem.ir/books/1150809-Timed-Boolean-Functions