Towards Paraconsistent Engineering