Parameterized model checking of networks of timed automata with Boolean guards