Up until now, we have focused almost exclusively on the temporal layer. In this chapter, we briefly discuss various aspects of the Boolean, modeling and verification layers not yet covered. In ...