EXPLORING PRT555: THE HANDBOOK TO THE HORIZON OF AUTOMATED CONTRACTS