Temporal-logics as query languages for dynamic Bayesian networks: application to D. melanogaster embryo development