Adding a subsection for the sfTCAS example which is our starting example.