aivika-4.0: A multi-paradigm simulation library