1. Abraham, E., and Kremer, G. Satisfiability checking: Theory and applications. In Proc. SEFM (2016), vol. 9763 of LNCS, Springer International Publishing.
2. Alderisi, G., Patti, G., and Bello, L. L. Introducing support for scheduled traffic over IEEE audio video bridging networks. In Proc. ETFA (2013), IEEE Computer Society.
3. Barrett, C., Sebastiani, R., Seshia, S., and Tinelli, C. Satisfiability modulo theories. In Handbook of Satisfiability, vol. 185. IOS Press, 2009.
4. Bauer, H., Scharbarg, J., and Fraboul, C. Improving the worst-case delay analysis of an AFDX network using an optimized trajectory approach. Industrial Informatics, IEEE Transactions on 6, 4 (2010).
5. Bjørner, N., Phan, A., and Fleckenstein, L. νz - an optimizing SMT solver. In Proc. TACAS (2015), Springer.