(User-friendly) formal requirements verification in the context of ISO26262