Application of design for verification with concurrency controllers to air traffic control software. - Aysu Betin-Can; Tevfik Bultan; Mikael Lindvall; Benjamin Lux; Stefan Topp (ASE, 2005)

Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers. - Aysu Betin-Can; Tevfik Bultan; Mikael Lindvall; Benjamin Lux; Stefan Topp (Autom. Softw. Eng., 2007)

Carbon-neutral energy systems and the importance of flexibility options: A case study in China. - Katja Franke; Frank Sensfuß; Christiane Bernath; Benjamin Lux (Comput. Ind. Eng., 2021)

Supply curves of electricity-based gaseous fuels in the MENA region. - Benjamin Lux; Johanna Gegenheimer; Katja Franke; Frank Sensfuß; Benjamin Pfluger (Comput. Ind. Eng., 2021)