Text this: Satisfiability and model checking in team based logics / Julian-Steffen Müller.