1. Bernot, G., Gaudel, M., Marre, B.: Software testing based on formal specifications: a theory and a tool. Softw. Eng. J. 6(6), 387–405 (1991)
2. Bertolino, A., Marchetti, E., Muccini, H.: Introducing a reasonably complete and coherent approach for model-based testing. Electron. Notes Theor. Comput. Sci. 116, 85–97 (2005)
3. Bohn, J., Damm, W., Wittke, H., Klose, J., Moik, A.: Modeling and validating train system applications using statemate and live sequence charts. In: Proceedings of Conference on Integrated Design and Process Technology (IDPT2002), Society for Design and Process Science (2002)
4. Bontemps, Y., Heymans, P.: Turning high-level live sequence charts into automata. In: Proceedings of Scenarios and State Machines: Models Algorithms and tools, 24th International Conference on Software Engineering, May 2002, ACM (2003)
5. Bontemps, Y., Heymans, P., Kugler, H.: Applying LSCs to the specification of an air traffic control system. In: Proceedings of Workshop on Scenarios and State Machines: Models, Algorithms and Tools (2003)