FORMAL METHODS AND TESTING: AN OUTCOME OF THE FORTEST NETWORK. REVISED SELECTED PAPERS (LECTURE NOTES IN COMPUTER SCIENCE)