GitHub repository: DSD-DBS/coffee-machine
Description: Capella model of a coffee machine