Linebacker Riley Covington returns to another season of mini-camp for the Colorado Mustangs just as a wave of terrorist attacks begin to occur across the country. Sleeper cells are being awakened—likely by the leader of the Cause, who has recently escaped from captivity and is coordinating attacks not only on America but also on Riley and his loved ones. As Jim Hicks, Scott Ross, and the rest of the Counterterrorism Division follow leads in Europe, Riley goes on the offensive to draw out his attackers. But can the Cause be stopped before they're able to reach their ultimate goal?

This collection bundles all four titles from the thrilling Riley Covington series by Jason Elam and Steve Yohn into one volume for a great value! #1 Monday Night Jihad He thought his deadliest enemy knelt across the line of scrimmage. He was wrong! After a tour of duty in Afghanistan, Riley Covington is living his dream as a professional linebacker when he comes face to face with a radical terrorist group on his own home turf. Drawn into the nightmare around him, Riley returns to his former life as a member of a special ops team that crosses oceans in an attempt to stop the escalating attacks. But time is running out, and it soon becomes apparent that the terrorists are on the verge of achieving their goal—to strike at the very heart of America. This softcover edition also includes a teaser chapter of the next Riley Covington thriller. Written by a member of the NFL; gives readers an insider look at the world of professional athletes and military intelligence. Examines the challenges of homeland security in large-venue events. Explores the tension between the desire for revenge and the constraints of the Christian faith, especially as it relates to Islam. Jason Elam has recently returned from Iraq, where he visited and supported the troops. You can read his journal at mondaynightjihad.blogspot.com #2 Blown Coverage Linebacker Riley Covington returns to another season of mini-camp for the Colorado Mustangs just as a wave of terrorist attacks begin to occur across the country. Sleeper cells are being awakened—likely by the leader of the Cause, who has recently escaped from captivity and is coordinating attacks not only on America but also on Riley and his loved ones. As Jim Hicks, Scott Ross, and the rest of the Counterterrorism Division follow leads in Europe, Riley goes on the offensive to draw out his attackers. But can the Cause be stopped before they’re able to reach their ultimate goal? #3 Blackout Riley Covington is still reeling from his father’s brutal murder when he learns he’s been traded. Meanwhile, the counterterrorism division has detected a plot to detonate electromagnetic pulse bombs that could leave the U.S. without power, communications, and transportation—right down to dropping planes out of the sky. CTD scrambles to stop the attacks, but they run out of time. Amid the fallout, Riley, Scott, Skeeter, and CTD must regroup to make sure the second bomb doesn’t reach its destination. #4 Inside Threat After taking two football seasons off, Riley Covington is attempting to make a comeback in the league while trying to forget Khadi Faroughi, now on security detail for a prominent senator. But a new attack turns both of their lives upside down yet again. During a state funeral, terrorists overrun the National Cathedral and take senators, congressmen, and their entourages hostage, including Khadi. This new generation of The Cause is made up of homegrown terrorists—an inside threat to the security of the nation. They release most of the hostages, but Khadi and several others are kept behind as significant bargaining chips. The Cause pledges to behead one member of Congress each day throughout the month of Ramadan as a punishment for their own country’s rejection of Islam. Despite the protests of Counter-Terrorism Division director Scott Ross, Riley races to CTD armed with a plan and a fierce determination to rescue Khadi at all costs.

Proceedings of the symposium held in Bal Harbour, Florida, December 1987. Rising energy prices have been encouraging work on the use of thermal insulation to conserve energy. Here, more than 50 papers discuss new materials, assessments and properties of foams, loose-fill behavior, system performance

All the pretty girls vanish one by one… Return to the riveting start of the Taylor Jackson series by New York Times bestselling author J.T. Ellison with a heart-pounding case of murder, intrigue, and lies buried deep. After a local girl turns up dead, Nashville Homicide lieutenant Taylor Jackson is determined to catch the serial rapist responsible for the crime. Called “The Southern Strangler,” this sadistic killer is slaughtering young women throughout Southeast, leaving a gruesome memento at each crime scene—the prior victim's severed hand. Taylor finds herself in a joint investigation with her lover, FBI profiler Dr. John Baldwin, as they pursue the vicious murderer. Ambitious TV reporter Whitney Connolly is certain the Southern Strangler is her ticket out of Nashville; she's got a scoop that could break the case. But she has no idea how close to this story she really is—or what it will cost her. Battling an old injury and her own demons, Taylor is desperate to quell the rising tide of bodies. But as the killer spirals out of control, everyone involved must face a horrible truth—the purest evil is born of private lies. Previously Published. Read the Taylor Jackson Series by J.T. Ellison: Book 1: All the Pretty Girls Book 2: 14 Book 3: Judas Kiss Book 4: The Cold Room Book 5: The Immortals Book 6: So Close the Hand of Death Book 7: Where All the Dead Lie

This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.

64