FASTEN: An Open Extensible Framework to Experiment with Formal Specification Approaches | IEEE Conference Publication | IEEE Xplore