Introduction to the ISO specification language LOTOS T Bolognesi, E Brinksma Computer Networks and ISDN systems 14 (1), 25-59, 1987 | 2175 | 1987 |

A theory for the derivation of tests E Brinksma Proc. 8th Int. Conf. Protocol Specification, Testing and Verification, 63-74, 1988 | 475 | 1988 |

Torx: Automated model-based testing GJ Tretmans, H Brinksma First European Conference on Model-Driven Software Engineering, 31-43, 2003 | 324* | 2003 |

LOTOS specifications, their implementations and their tests E Brinksma, G Scollo, C Steenbergen Conformance testing methodologies and architectures for OSI protocols, 468-479, 1995 | 269 | 1995 |

Specification styles in distributed systems design and verification CA Vissers, G Scollo, M Van Sinderen, E Brinksma Theoretical Computer Science 89 (1), 179-206, 1991 | 221 | 1991 |

Testing transition systems: An annotated bibliography E Brinksma, J Tretmans Summer School on Modeling and Verification of Parallel Processes, 187-195, 2000 | 212 | 2000 |

As cheap as possible: effcient cost-optimal reachability for priced timed automata K Larsen, G Behrmann, E Brinksma, A Fehnker, T Hune, P Pettersson, ... International Conference on Computer Aided Verification, 493-505, 2001 | 156 | 2001 |

A tutorial on LOTOS E Brinksma Protocol Specification, Testing, and Verification, 171-194, 1986 | 140 | 1986 |

A test generation framework for quiescent real-time systems LB Briones, E Brinksma International Workshop on Formal Approaches to Software Testing, 64-78, 2004 | 129 | 2004 |

On the design of Extended LOTOS: A specification language for open distributed systems. H Brinksma | 128 | 1990 |

Fair testing E Brinksma, A Rensink, W Vogler International Conference on Concurrency theory, 313-327, 1995 | 120 | 1995 |

Information processing systems–open systems interconnection–lotos–a formal description technique based on the temporal ordering of observational behaviour E Brinksma International Standard, ISO 8807, 1988 | 104 | 1988 |

An algebraic approach to the specification of stochastic systems PR D’Argenio, JP Katoen, E Brinksma Programming Concepts and Methods PROCOMET’98, 126-147, 1998 | 100 | 1998 |

Formal approach to conformance testing E Brinksma Proc. Int. Workshop on Protocol Test Systems, 311-325, 1989 | 93 | 1989 |

A stochastic causality-based process algebra E Brinksma, JP Katoen, R Langerak, D Latella The Computer Journal 38 (7), 552-565, 1995 | 91 | 1995 |

Optimal infinite scheduling for multi-priced timed automata P Bouyer, E Brinksma, KG Larsen Formal Methods in System Design 32 (1), 3-23, 2008 | 90 | 2008 |

Process algebra and Markov chains E Brinksma, H Hermanns School organized by the European Educational Forum, 183-231, 2000 | 86 | 2000 |

Formal notions of implementation and conformance in LOTOS H Brinksma, G Scollo Twente University of Technology, Department of Computer Science, 1986 | 86 | 1986 |

Staying alive as cheaply as possible P Bouyer, E Brinksma, KG Larsen International Workshop on Hybrid Systems: Computation and Control, 203-218, 2004 | 75 | 2004 |

A framework for test selection E Brinksma, J Tretmans, L Verhaard Proceedings of the IFIP WG6. 1 International Symposium on Protocol …, 1991 | 58 | 1991 |