Formal methods — Support or scientific decoration in software development? | IEEE Conference Publication | IEEE Xplore