Computer-based system modelling for reliability and safety analysis